21. Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 1999, proceedings
پدیدآورنده : Paliath Narendran, Michael Rusinowitch, eds
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
R477
1999
22. Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 28-April 1, 1998 : proceedings
پدیدآورنده : Tobias Nipkow )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
1379
23. Rewriting techniques and applications: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I565
2001
24. Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
پدیدآورنده : Aart Middeldorp )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
2051
25. Rewriting techniques and applications : 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
پدیدآورنده : Robert Nieuwenhuis )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
2706
26. Term rewriting and applications : 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
76
.
L28
Vol
.
4098
27. Term rewriting and applications: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms
رده :
QA
267
.
I555
2006
